Optimal. Leaf size=124 \[ -\frac{b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,-e^{c+d x^n}\right )}{d^2 e n}+\frac{b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,e^{c+d x^n}\right )}{d^2 e n}+\frac{a (e x)^{2 n}}{2 e n}-\frac{2 b x^{-n} (e x)^{2 n} \tanh ^{-1}\left (e^{c+d x^n}\right )}{d e n} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.109991, antiderivative size = 124, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 6, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {14, 5441, 5437, 4182, 2279, 2391} \[ -\frac{b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,-e^{c+d x^n}\right )}{d^2 e n}+\frac{b x^{-2 n} (e x)^{2 n} \text{PolyLog}\left (2,e^{c+d x^n}\right )}{d^2 e n}+\frac{a (e x)^{2 n}}{2 e n}-\frac{2 b x^{-n} (e x)^{2 n} \tanh ^{-1}\left (e^{c+d x^n}\right )}{d e n} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 5441
Rule 5437
Rule 4182
Rule 2279
Rule 2391
Rubi steps
\begin{align*} \int (e x)^{-1+2 n} \left (a+b \text{csch}\left (c+d x^n\right )\right ) \, dx &=\int \left (a (e x)^{-1+2 n}+b (e x)^{-1+2 n} \text{csch}\left (c+d x^n\right )\right ) \, dx\\ &=\frac{a (e x)^{2 n}}{2 e n}+b \int (e x)^{-1+2 n} \text{csch}\left (c+d x^n\right ) \, dx\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \int x^{-1+2 n} \text{csch}\left (c+d x^n\right ) \, dx}{e}\\ &=\frac{a (e x)^{2 n}}{2 e n}+\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int x \text{csch}(c+d x) \, dx,x,x^n\right )}{e n}\\ &=\frac{a (e x)^{2 n}}{2 e n}-\frac{2 b x^{-n} (e x)^{2 n} \tanh ^{-1}\left (e^{c+d x^n}\right )}{d e n}-\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \log \left (1-e^{c+d x}\right ) \, dx,x,x^n\right )}{d e n}+\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \log \left (1+e^{c+d x}\right ) \, dx,x,x^n\right )}{d e n}\\ &=\frac{a (e x)^{2 n}}{2 e n}-\frac{2 b x^{-n} (e x)^{2 n} \tanh ^{-1}\left (e^{c+d x^n}\right )}{d e n}-\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \frac{\log (1-x)}{x} \, dx,x,e^{c+d x^n}\right )}{d^2 e n}+\frac{\left (b x^{-2 n} (e x)^{2 n}\right ) \operatorname{Subst}\left (\int \frac{\log (1+x)}{x} \, dx,x,e^{c+d x^n}\right )}{d^2 e n}\\ &=\frac{a (e x)^{2 n}}{2 e n}-\frac{2 b x^{-n} (e x)^{2 n} \tanh ^{-1}\left (e^{c+d x^n}\right )}{d e n}-\frac{b x^{-2 n} (e x)^{2 n} \text{Li}_2\left (-e^{c+d x^n}\right )}{d^2 e n}+\frac{b x^{-2 n} (e x)^{2 n} \text{Li}_2\left (e^{c+d x^n}\right )}{d^2 e n}\\ \end{align*}
Mathematica [A] time = 0.144385, size = 175, normalized size = 1.41 \[ \frac{x^{-2 n} (e x)^{2 n} \left (2 b \text{PolyLog}\left (2,-e^{-c-d x^n}\right )-2 b \text{PolyLog}\left (2,e^{-c-d x^n}\right )+a d^2 x^{2 n}+2 b d x^n \log \left (1-e^{-c-d x^n}\right )-2 b d x^n \log \left (e^{-c-d x^n}+1\right )+2 b c \log \left (1-e^{-c-d x^n}\right )-2 b c \log \left (e^{-c-d x^n}+1\right )-2 b c \log \left (\tanh \left (\frac{1}{2} \left (c+d x^n\right )\right )\right )\right )}{2 d^2 e n} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.218, size = 326, normalized size = 2.6 \begin{align*}{\frac{ax}{2\,n}{{\rm e}^{-{\frac{ \left ( -1+2\,n \right ) \left ( i \left ({\it csgn} \left ( iex \right ) \right ) ^{3}\pi -i\pi \,{\it csgn} \left ( ie \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}-i\pi \,{\it csgn} \left ( ix \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}+i{\it csgn} \left ( iex \right ){\it csgn} \left ( ie \right ){\it csgn} \left ( ix \right ) \pi -2\,\ln \left ( x \right ) -2\,\ln \left ( e \right ) \right ) }{2}}}}}+2\,{\frac{{{\rm e}^{c}}b{{\rm e}^{-i\pi \,n{\it csgn} \left ( ie \right ){\it csgn} \left ( ix \right ){\it csgn} \left ( iex \right ) }}{{\rm e}^{i\pi \,n{\it csgn} \left ( ie \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{i\pi \,n{\it csgn} \left ( ix \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{-i\pi \,n \left ({\it csgn} \left ( iex \right ) \right ) ^{3}}}{{\rm e}^{i/2\pi \,{\it csgn} \left ( ie \right ){\it csgn} \left ( ix \right ){\it csgn} \left ( iex \right ) }}{{\rm e}^{-i/2\pi \,{\it csgn} \left ( ie \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{-i/2\pi \,{\it csgn} \left ( ix \right ) \left ({\it csgn} \left ( iex \right ) \right ) ^{2}}}{{\rm e}^{i/2\pi \, \left ({\it csgn} \left ( iex \right ) \right ) ^{3}}} \left ({e}^{n} \right ) ^{2} \left ( 1/2\,d{x}^{n} \left ( \ln \left ( 1-{{\rm e}^{c+d{x}^{n}}} \right ) -\ln \left ({{\rm e}^{c+d{x}^{n}}}+1 \right ) \right ){{\rm e}^{-c}}+1/2\, \left ({\it dilog} \left ( 1-{{\rm e}^{c+d{x}^{n}}} \right ) -{\it dilog} \left ({{\rm e}^{c+d{x}^{n}}}+1 \right ) \right ){{\rm e}^{-c}} \right ) }{en{d}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.10202, size = 1840, normalized size = 14.84 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (e x\right )^{2 n - 1} \left (a + b \operatorname{csch}{\left (c + d x^{n} \right )}\right )\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (b \operatorname{csch}\left (d x^{n} + c\right ) + a\right )} \left (e x\right )^{2 \, n - 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]